Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
71	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:20 C++ Method Object-oriented programming languages Java Type theory Trait Multiple inheritance Mixin Mutator method Java syntax Inheritance Parameter
72	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
73	SUNlite Shedding some light on UFOlogy and UFOs Roughly about half the witnesses were sure they saw planes in the sky...The other half saw nothing. The elevation operator of an antiaircraft director looking through his s Add to Reading List Source URL: www.astronomyufo.com Language: English - Date: 2014-07-07 19:26:02 Ufologists UFO Files Unidentified flying object Rendlesham Forest incident Ufology Kevin D. Randle UFO Roswell UFO incident Belgian UFO wave Nick Pope Glenn Dennis UFO conspiracy theory
74	A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Lie groups Data mining Formal concept analysis Machine learning Ontology Complete lattice Lattice Object-oriented programming Algebraic structure Software design pattern Object Process Methodology
75	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
76	Scrap Your Boilerplate with Object Algebras Haoyuan Zhang Zewei Chu Bruno C. d. S. Oliveira Tijs van der Storm Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-10-19 03:28:23 Semigroup theory Java Combinatorics on words Object-oriented programming languages Formal languages Boilerplate code String Java annotation Monoid Closure Tree traversal Constructor
77	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
78	Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering ∗ Gabriela Ar´evalo, St´ephane Ducasse and Oscar Nierstrasz Software Composition Group University of Bern, Switzerland www.iam.unibe.ch/∼sc Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Ontology Data mining Formal concept analysis Machine learning Object Process Methodology Metamodeling Conceptual model
79	A Unified Theory of Granularity, Vagueness, and Approximation Thomas Bittner and Barry Smith Department of Computer Science, Northwestern University, Department of Philosophy, State University of New Y Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:08 Combinatorics Number theory Arithmetic functions Partition of a set Partition Equivalence relation Mathematical object Vagueness Perception Mereology
80	SUNlite Shedding some light on UFOlogy and UFOs Volume 6 Number 6 November-December 2014 Add to Reading List Source URL: www.astronomyufo.com Language: English - Date: 2014-11-03 19:43:18 Ufologists Unidentified flying object UFO Files Ufology Roswell UFO incident Aerial Phenomena Enquiry Network Contactee Donald Keyhoe Robert Sheaffer Mutual UFO Network UFO conspiracy theory UFO sightings in the United States

UPDATE